When Microbe Meets Human

When Technology Meets Human Desires

Adopting an alternative, yet complimentary view to the traditional, performance-based task/technology fit perspective, we examine the post-adoption of social network sites (SNS) by extending the concept of IT desirability as a central predictor of SNS continuous-use. We conceptualize SNS desirability as reflecting the affective relationship individuals experience with SNS, an approach that emph...

When Science Meets Religion

When Turing Meets Milner

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

When Simulation Meets Antichains

We describe a new and more efficient algorithm for checking universality and language inclusion on nondeterministic finite word automata (NFA) and tree automata (TA). To the best of our knowledge, the antichain-based approach proposed by De Wulf et al. was the most efficient one so far. Our idea is to exploit a simulation relation on the states of finite automata to accelerate the antichain-bas...

When mind meets machine

into sufferers from amyotrophic lateral sclerosis (ALS) and brain-stem stroke, which enables them to move a computer cursor, albeit slowly. The device uses electrodes attached to amplifiers and FM transmitters transplanted 5 mm deep—just under the scalp—into the brain. The electrodes encourage brain tissue to grow around them, thus stabilizing them against any movement and resulting distortion ...